Information Parallax F.A. Grootjen and Th.P. van der Weide∗ Abstract To effectively use and exchange information among AI systems, a formal specification of the representation of their shared domain of discourse – ca

Source URL: franc.grootjen.nl

• Information science
• Knowledge representation
• Technical communication
• Semantic Web
• Information retrieval
• Natural language processing
• Ontology
• Interpretation
• Function
• Science
• Mathematics
• Mathematical logic

A Formal Specification of JavaÌÅ Class Loading Zhenyu Qian
Allen Goldberg

Source URL: www.agoldberg.org

Reusing Software Developments Allen Goldberg Kestrel Institute 3260 Hillview Ave. Palo Alto, CA[removed]l

Source URL: www.agoldberg.org

• Formal methods
• Procedural programming languages
• Linguistics
• Minimalist program
• Noam Chomsky
• Formal specification
• Algorithm
• Subroutine
• Tactic
• Computing
• Computer programming
• Software engineering

Algebraic Methods for Specification and Formal Development of Programs Donald Sannella Laboratory for Foundations of Computer Science, University of Edinburgh E-mail: [removed] and

Source URL: homepages.inf.ed.ac.uk

• Formal methods
• Software development
• Procedural programming languages
• Programming paradigms
• Extended ML
• Concurrent computing
• Don Sannella
• Specification language
• Algebraic specification
• Computing
• Software engineering
• Computer programming

Symbolic Automata for Static Specification Mining Hila Peleg1 , Sharon Shoham2 , Eran Yahav3 , and Hongseok Yang4 1 Tel Aviv University, Israel

Source URL: www.cs.technion.ac.il

• Models of computation
• Theoretical computer science
• Model theory
• Combinatorics on words
• Logic
• Structure
• Finite-state machine
• Deterministic finite automaton
• Interpretation
• Automata theory
• Formal languages
• Mathematics

Use of formal methods in embedded software development: stakes, constraints and proposal Anthony Fernandes Pires∗† , Thomas Polacsek† , Virginie Wiels† and St´ephane Duprat∗ ∗ Atos Int´egration SAS, 6 impa

Source URL: www.erts2014.org

• Computing
• Systems engineering
• Software testing
• ANSI/ISO C Specification Language
• C programming language
• Software quality
• Frama-C
• Formal verification
• DO-178B
• Software development
• Formal methods
• Software

Specification and Description Language (SDL) Definition Specification and description language (SDL) is an object-oriented, formal language defined by The International Telecommunications Union– Telecommunications Stan

Source URL: sdl-forum.org

• Software engineering
• Software
• Models of computation
• Finite-state machine
• Modeling language
• Specification language
• Abstraction
• Specification
• Simple DirectMedia Layer
• Diagrams
• Specification and Description Language
• Computing

A Hybrid State Machine Notation for Component Specification Alexander Sakharov [removed]

Source URL: sakharov.net

• Software
• Diagrams
• Automata theory
• Digital electronics
• Formal methods
• Finite-state machine
• State diagram
• Unified Modeling Language
• Lexical analysis
• Models of computation
• Computing
• Software engineering

1. Introduction This document constitutes a formal specification of the Network Time Protocol (NTP), which is used to synchronize timekeeping among a set of distributed time servers and clients. It defines the

Source URL: www.eecis.udel.edu

• Horology
• Clocks
• Internet protocols
• Internet standards
• Synchronization
• Network Time Protocol
• Clock synchronization
• Radio clock
• Time server
• Measurement
• Time
• Technology

1. Introduction This document constitutes a formal specification of the Network Time Protocol (NTP) Version 3, which is used to synchronize timekeeping among a set of distributed time servers and clients. It

Source URL: www.eecis.udel.edu

• Time
• Synchronization
• Computing
• Network Time Protocol
• Clock synchronization
• Time server
• Radio clock
• Clock
• Transmission Control Protocol
• Measurement
• Clocks
• Horology